Migrating Large Applications from Ada83 to Ada95
نویسندگان
چکیده
The CFMU has developed mission critical applications for Europewide flight plan processing and air traffic management activities using Ada83. This paper presents the techniques and tools used for the migration from an Ada83 to an Ada95 compiler and run-time. It puts a particular emphasis on both the software management aspects and the technical aspects e.g. language aspects, run-time evolution, how to cater for incompatibilities between Ada83 and Ada95, elaboration order, etc...
منابع مشابه
T-SMART - Task-Safe, Minimal Ada Realtime Toolset
Introduction This paper describes T-SMART, an Ada83 executive and toolset for the production of safety critical and hard real time applications. T-SMART consists of three main integrated parts: The use of software has grown dramatically over the last decade with the availability of low-cost, highperformance hardware. It is clear that the safety of human life and property often depends directly ...
متن کاملRe-engeneering a Safety-Critical Application Using SPARK 95 and GNORT
This paper describes a new development of the GNAT Ada95 compilation system (GNORT) that is appropriate for the development of high integrity embedded systems. We describe GNORT, the motivation for its development, and give some technical detail of its implementation. The latter part of the paper goes on to describe SHOLIS—an existing safety-critical application written in SPARK 83 that has bee...
متن کاملKBSE and Ada - Object and Enabling Technology
“Layering” is a visualisation technique that enables basic relationships between software system components to be overlaid with the results of more sophisticated design recovery analyses. Layering can be implemented via a simple presentation tool, to which the results of different analysers can be coupled. Knowledge-based analysis technology can be extended to support Ada83-Ada95 conversion. Ta...
متن کاملAtomic Actions Based on Distributed/Concurrent Exception Resolution
The state of art in concurrent exception handling and resolution is discussed and a brief outline of all research in this area given. Our intention is to demonstrate that exception resolution is a very useful concept which should be used to facilitate joint forward error recovery in concurrent and distributed systems. To do this, several new arguments are considered. We regard resolution as rea...
متن کاملUser - Role Based Security Enforcement Mechanisms for Object - Oriented Systems and Applications
The successful development of object-oriented applications has heightened interest in the exploration of security for object-oriented programming languages, database systems, and applications. Our past e orts have investigated user-role based security (URBS) for discretionary access control to provide customizable access to the public interface of object types/classes, allowing di erent individ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001